python extracting number from string